منابع مشابه
On Compiling CNFs into Structured Deterministic DNNFs
We show that the traces of recently introduced dynamic programming algorithms for #SAT can be used to construct structured deterministic DNNF (decomposable negation normal form) representations of propositional formulas in CNF (conjunctive normal form). This allows us prove new upper bounds on the complexity of compiling CNF formulas into structured deterministic DNNFs in terms of parameters su...
متن کاملOn OBDDs for CNFs of Bounded Treewidth
Knowledge compilation is a rewriting approach to propositional knowledge representation. The ‘knowledge base’ is initially represented as a cnf for which many important types of queries are np-hard to answer. Therefore, the cnf is compiled into another representation for which the minimal requirement is that the clausal entailment query (can the given partial assignment be extended to a complet...
متن کاملCompiling Purely Functional Structured Programs
We present a marriage of functional and structured imperative programming that embeds in pure lambda calculus. We describe how we implement the core of this language in a monadic DSL which is structurally equivalent to our intended source language and which, when evaluated, generates pure lambda terms in continuation-passing-style. 1. Pure Functional Programming One of the frequently touted ben...
متن کاملOn Compiling Structured Interactive Programs with Registers and Voices
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [13]. In [3,4,5,6] the authors have have introduced and studied structure...
متن کاملCompiling Mpeg 4 Structured Audio into C
Structured Audio (SA) is an MPEG 4 Audio standard for algorithmic sound encoding, using the programming language SAOL. The paper describes a SA decoder, sfront, that translates a SAOL program into a C program, which is then compiled and executed to create audio. Performance data shows a 7.6x to 20.4x speedup compared to the SA reference MPEG decoder.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of Computing Systems
سال: 2016
ISSN: 1432-4350,1433-0490
DOI: 10.1007/s00224-016-9715-z